Using Contracts to Guide the Search-Based Verification of Concurrent Programs Christopher M. Poskitt1 and Simon Poulding2 1 2

Source URL: se.inf.ethz.ch

• Software engineering
• Computing
• Computer programming
• Concurrency control
• Concurrent computing
• Edsger W. Dijkstra
• Object-oriented programming languages
• Concurrent programming languages
• Concurrency
• Concurrent data structure
• Thread
• SCOOP

1 Statistical Structure Learning to Ensure Data Integrity in Smart Grid Hanie Sedghi and Edmond Jonckheere Department of Electrical Engineering

Source URL: www-scf.usc.edu

JuneCrystalline The newsletter of The Cambridge Crystallographic Data Centre Fifty years of sharing

Source URL: ccdc.cam.ac.uk

• Chemistry
• Crystallography
• Nature
• Biological databases
• Crystallographic databases
• Cambridge Structural Database
• Cambridge Crystallographic Data Centre
• Powder diffraction
• Chemical structure
• Olga Kennard
• Crystal
• Gautam Radhakrishna Desiraju

iCERT LCA Disclosure Internal Data File Structure: FY 2010

Source URL: www.foreignlaborcert.doleta.gov

NumPy User Guide ReleaseWritten by the NumPy community May 29, 2016

Source URL: docs.scipy.org

• Array programming languages
• Cross-platform software
• Linear algebra
• NumPy
• SciPy
• Mathematical software
• Array data type
• Array programming
• Array data structure
• MATLAB
• Vectorization
• J

Microsoft Word - DMSDR1S-#v7-TFFS_16-18__Minutes_.DOCX

Source URL: www.tffs.org

• Economy
• Structure
• Fiscal policy
• Applied statistics
• Government debt
• External debt
• International Monetary Fund
• Public finance
• Economic data
• Paris Club

JMLR: Workshop and Conference Proceedings vol 40:1–15, 2015 Optimally Combining Classifiers Using Unlabeled Data Akshay Balsubramani Yoav Freund

Source URL: jmlr.org

• Mathematical analysis
• Mathematics
• Logic
• Measure theory
• Metalogic
• Model theory
• Support vector machine
• Structure
• Sigma-algebra
• Indexed grammar

CHAOS 20, 017502 共2010兲 Accurate extraction of Lagrangian coherent structures over finite domains with application to flight data analysis over Hong Kong International Airport Wenbo Tang,1 Pak Wai Chan,2 and George

Source URL: georgehaller.com

• Chaos theory
• Fluid dynamics
• Turbulence
• Lagrangian coherent structure
• TG
• Physics
• Mechanics
• Mathematical physics

Prof. Surya Kalidindi GeorgiaTech, Atlanta The George W. Woodruff School of Mechanical Engineering, USA Data Science Approaches for Mining Structure-Property-Processing Linkages from Large Datasets

Source URL: labex-damas.univ-lorraine.fr

Using Technology to Engage Citizens with Well-being Statistics Workshop 1: Perspectives from Civil Society 18 September 2014 OECD, Paris Web-COSI project

Source URL: www.webcosi.eu

• Structure
• Economics
• Computing
• Welfare economics
• Economic development
• Social change
• Sustainable development
• Wikiprogress
• Enrico Giovannini
• Big data
• Quality of life
• Framework Programmes for Research and Technological Development